-- Test , too much    
    DEF def(X:nat, ):nat == 0       --, zu viel
    DEF MAIN:bool == true
